1. Software for dependable systems :
Author: Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability.,Software engineering.,Systems software-- Reliability.,Computer software-- Reliability.,REFERENCE-- General.,Software engineering.
Classification :
QA76
.
76
.
R44
N35
2007eb
2. Summary of a workshop on software certification and dependability /
Author: Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Certification.,Computer software-- Development.,Computer software-- Certification.,Computer software-- Development.,COMPUTERS-- Data Processing.
Classification :
QA76
.
76
.
C47
S86
2004eb
